home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group94c.txt / 000037_icon-group-request _Mon Dec 26 14:10:30 1994.msg < prev    next >
Internet Message Format  |  1995-02-09  |  2KB
  1. Received: from optima.CS.Arizona.EDU by cheltenham.CS.Arizona.EDU; Mon, 26 Dec 1994 16:33:28 MST
  2. Received: from agate.Berkeley.EDU by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  3.     id AA28262; Mon, 26 Dec 1994 16:33:26 MST
  4. Received: by agate.berkeley.edu (8.6.8.1/1.33)
  5.     id OAA12758; Mon, 26 Dec 1994 14:10:57 -0800
  6. Received: from GATEWAY by agate with netnews
  7.     for icon-group@cs.arizona.edu (icon-group-l@cs.arizona.edu)
  8. To: icon-group-l@cs.arizona.edu
  9. Date: 26 Dec 1994 14:10:30 -0800
  10. From: omalley@porte-de-st-ouen.ics.uci.edu (T. Owen O'Malley)
  11. Message-Id: <3dnf0m$85i@porte-de-st-ouen.ics.uci.edu>
  12. Organization: UC Irvine Department of ICS
  13. Sender: icon-group-request@cs.arizona.edu
  14. References: <3djj5e$7pd@news2.delphi.com>
  15. Subject: Re: DeMorgan's Law doesn't work
  16.  
  17. In <3djj5e$7pd@news2.delphi.com> MENGARINI@news.delphi.com (MENGARINI@DELPHI.COM) writes:
  18. >   (  nn := (0 to 9) || (0 to 9)
  19. >   ,  not exists( downloadDir || "w" || nn )
  20. >   ,  not exists( targetDir   || "w" || nn )
  21. >   )|stop( "No names of the form w[0-9][0-9] were unused." )
  22.  
  23. I was playing around with your example and the following code works:
  24.  
  25. every nn := ((0 to 1) || (0 to 9)  | 
  26.              stop( "No names of the form w[0-9][0-9] were unused." )) do {
  27.   exists( (downloadDir | targetDir | break) || "w" || nn )
  28. }
  29.  
  30.   Owen
  31.  
  32. Department of ICS  | omalley@ics.uci.edu                 (ARPA)
  33. UC Irvine          | http://www.ics.uci.edu/~omalley/    (WWW)
  34. Irvine, CA 92717   | ucbvax!ucivax!omalley               (UUCP)